(第2空)为验证某程序的模块A是否正确实现了规定的功能，需要进行( )；为验证模块A能否与其他模块按照规定方式正确工作，需要进行( )。